Frame problem - PDFSEARCH.IO - Document Search Engine

Frame problem
Results: 91

#	Item
81	Teleo-Reactive Abductive Logic Programs Robert Kowalski and Fariba Sadri Imperial College London, {rak, fs}@doc.ic.ac.uk Abstract. Teleo-reactive (TR) programs are a variety of production systems with a destructively upd Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2012-01-20 14:02:42 Logic programming Logic in computer science Knowledge representation Programming language semantics Abductive logic programming Operational semantics Semantics Event calculus Frame problem Mathematical logic Theoretical computer science Logic
82	An Agent Language with Destructive Assignment and Model-Theoretic Semantics Robert Kowalski and Fariba Sadri Department of Computing, Imperial College London, 180 Queens Gate, London SW7 2AZ {rak, fs}@doc.ic.ac.uk Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2010-06-19 04:56:36 Mathematics Abductive logic programming Frame problem Prolog Action selection Event calculus Predicate Atomic sentence Situation calculus Logic Logic programming Mathematical logic
83	Towards a Logic-based Production System Language Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2011-08-20 04:15:20 Logic Prolog Futures and promises Frame problem Abductive logic programming Predicate Situation calculus Operational semantics Event calculus Logic programming Mathematical logic Theoretical computer science
84	Mission – Impossible: The trade off between efficiency and creativity within the frame of goal setting theory : . Add to Reading List Source URL: psychology.technion.ac.il Language: English - Date: 2008-08-09 08:24:56 Educational psychology Positive psychology Problem solving Shoda Ackerman Psychology Mind Cognitive science Aptitude Cognition Creativity
85	Temporal Logical Filtering – Preliminary Results ** DRAFT October 16, 2002 Eyal Amir Computer Science Division University of California at Berkeley Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2002-11-26 01:07:16** Mathematical logic Knowledge representation Interpretation Philosophy of language Philosophy of mind Semantics Situation calculus Action description language Frame problem Logic Mathematics Logic programming
86	The problem of detecting commercials within television broadcasts is related to several—more general—problems in video processing. These issues include scene break detection, video Add to Reading List Source URL: www.cse.fau.edu Language: English - Date: 2005-05-12 17:36:04 Interactive television Mass media Commercial skipping ReplayTV Segmentation Television advertisement Frame rate TiVo Advertising Digital video recorders Television Terminology
87	The Frame Problem and Related Problems in Artificial Intelligence Add to Reading List Source URL: aitopics.org Language: English - Date: 2012-09-15 13:27:22 Logic programming Epistemology Model theory Formal methods Situation calculus Frame problem First-order logic Function Axiom Logic Mathematical logic Mathematics
88	10 A Logic-based Calculus of Events ROBERT KOWALSKI and MAREK SERGOT Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2006-07-10 08:53:49 Theoretical computer science Knowledge representation Logic in computer science Event calculus Frame problem Situation calculus Function Calculus Prolog Logic programming Mathematics Mathematical logic
89	The History of the Frame Problem M.Kamermans and T.Schmits Faculty of Artificial Intelligence Add to Reading List Source URL: staff.science.uva.nl Language: English - Date: 2009-10-22 11:30:54 Science Knowledge Logic in computer science Epistemology Fluent Frame problem Situation calculus Yale shooting problem Event calculus Logic programming Knowledge representation Artificial intelligence
90	PDF Document Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2012-04-02 12:42:46 Non-classical logic Logic Knowledge representation Frame problem Circumscription Yale shooting problem Non-monotonic logic Default logic Stable model semantics Logic programming Artificial intelligence Science

UPDATE